Automated theorem proving - PDFSEARCH.IO - Document Search Engine

Automated theorem proving
Results: 768

#	Item
231	Curriculum Vitae Paola Bruscoli Research Fellow (EPSRC) at University of Bath http://www.cs.bath.ac.uk/pb/ March 30, 2013 Add to Reading List Source URL: www.cs.bath.ac.uk Language: English - Date: 2013-03-30 11:16:35 Theoretical computer science Automated theorem proving Non-classical logic Substructural logic Calculus of structures Logic programming International Colloquium on Automata Languages and Programming Linear logic Logic Formal sciences Mathematical logic
232	Automatically Proving the Correctness of Program Analyses and Transformations Sorin Lerner A dissertation submitted in partial fulfillment of Add to Reading List Source URL: cseweb.ucsd.edu Language: English - Date: 2006-03-22 02:52:44 Compiler optimizations Software Compiler construction Formal methods Models of computation Compiler Dataflow Constant folding Automated theorem proving Programming language implementation Computing Software engineering
233	1/ Toccata Toccata Deductive Verification, Certified Tools and Numerical Computations Add to Reading List Source URL: vals.lri.fr Language: English - Date: 2015-05-21 04:16:07 Formal methods Functional languages Logic in computer science Theoretical computer science Automated theorem proving Formal verification SIGNAL Coq National Institute for Research in Computer Science and Control Computing Software engineering Software
234	Classifying and Solving Horn Clauses for Verification Philipp R¨ummer1 , Hossein Hojjat2 , and Viktor Kuncak2 1 2 Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2013-07-10 09:12:36 Logic in computer science Automated theorem proving Logic programming Interpolation Video signal Craig interpolation Clause Resolution Horn clause Logic Mathematics Mathematical logic
235	NEG Electronic Application System (eSystem) User Guide Add to Reading List Source URL: www.doleta.gov Language: English - Date: 2015-05-19 14:27:07 Logic in computer science Automated theorem proving Boolean algebra Rules of inference
236	Theorem Proving in Lean Jeremy Avigad Leonardo de Moura Soonho Kong Version df39393, updated at:37: Add to Reading List Source URL: leanprover.github.io Language: English - Date: 2015-06-08 12:08:26 Formal systems Automated theorem proving Logical syntax Propositional calculus Mathematical proof Deduction theorem Theorem Proof assistant Axiom Logic Mathematics Mathematical logic
237	An Integrated Proof Language for Imperative Programs Karen Zee Viktor Kuncak Martin C. Rinard Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2009-04-02 08:15:55 Applied mathematics Formal methods Logic in computer science Reasoning Proof assistant Formal verification KeY Isabelle Reasoning system Theoretical computer science Mathematics Automated theorem proving
238	IN PARTNERSHIP WITH: Université Paris-Sud (Paris 11) Activity ReportProject-Team TOCCATA Add to Reading List Source URL: raweb.inria.fr Language: English - Date: 2015-03-19 11:15:16 Automated theorem proving Formal methods Logic in computer science Artificial intelligence Formal verification Coq Proof assistant KeY Automated reasoning Theoretical computer science Mathematics Applied mathematics
239	Decision methods for arithmetic Third summer school on formal methods Leonardo de Moura Microsoft Research Symbolic Reasoning Add to Reading List Source URL: leodemoura.github.io Language: English - Date: 2015-05-19 13:22:05 Propositional calculus Theoretical computer science Rules of inference Logic programming Resolution Literal Clause Automated theorem proving Logic Mathematical logic
240	A Decision Procedure for CTL∗ Based on Tableaux and Automata Oliver Friedmann1 , Markus Latte1 , and Martin Lange2 1 2 Add to Reading List Source URL: files.oliverfriedmann.de Language: English - Date: 2012-02-10 07:43:08 Method of analytic tableaux Theoretical computer science Applied mathematics Ω-automaton Formal language Automata theory Mathematics Automated theorem proving

UPDATE